Search results for "Complete lattice"
showing 7 items of 7 documents
Axiomatic Foundations Of Fixed-Basis Fuzzy Topology
1999
This paper gives the first comprehensive account on various systems of axioms of fixed-basis, L-fuzzy topological spaces and their corresponding convergence theory. In general we do not pursue the historical development, but it is our primary aim to present the state of the art of this field. We focus on the following problems:
The overlap algebra of regular opens
2010
Abstract Overlap algebras are complete lattices enriched with an extra primitive relation, called “overlap”. The new notion of overlap relation satisfies a set of axioms intended to capture, in a positive way, the properties which hold for two elements with non-zero infimum. For each set, its powerset is an example of overlap algebra where two subsets overlap each other when their intersection is inhabited. Moreover, atomic overlap algebras are naturally isomorphic to the powerset of the set of their atoms. Overlap algebras can be seen as particular open (or overt) locales and, from a classical point of view, they essentially coincide with complete Boolean algebras. Contrary to the latter, …
L-fuzzy syntopogenous structures, Part I: Fundamentals and application to L-fuzzy topologies, L-fuzzy proximities and L-fuzzy uniformities
2013
Abstract We introduce the concept of an L-fuzzy syntopogenous structure where L is a complete lattice endowed with an implicator ↦ : L × L → L satisfying certain properties (in particular, as L one can take an MV-algebra). As special cases our L-fuzzy syntopogenous structures contain classical Csaszar syntopogenous structures, Katsaras–Petalas fuzzy syntopogenous structures as well as fuzzy syntopogeneous structures introduced in the previous work of the second named author (A. Sostak, Fuzzy syntopogenous structures, Quaest. Math. 20 (1997) 431–461). Basic properties of the category of L-fuzzy syntopogenous spaces are studied; categories of L-fuzzy topological spaces, L-fuzzy proximity spac…
An Approach to the Concept of Soft Fuzzy Proximity
2014
The purpose of this paper is to introduce the concept of soft fuzzy proximity. Firstly, we give the definitions of soft fuzzy proximity and Katsaras soft fuzzy proximity, and also we investigate the relations between the soft fuzzy proximity and slightly modified version of Katsaras soft fuzzy proximity. Secondly, we induce a soft fuzzy topology from a given soft fuzzy proximity by using soft fuzzy closure operator. Then, we obtain the initial soft fuzzy proximity from a given family of soft fuzzy proximities. So, we describe products in the category of soft fuzzy proximities. Finally, we show that a family of all soft fuzzy proximities on a given set constitutes a complete lattice.
Ideal-valued topological structures
2010
With L a complete lattice and M a continuous lattice, this paper demonstrates an adjunction between M -valued L-topological spaces (i.e. (L,M )-topological spaces) and Idl(M )-valued L-topological spaces where Idl(M ) is the complete lattice of all ideals of M . It is shown that the right adjoint functor provides a procedure of generating (L,M )-topologies from antitone families of (L,M )-topologies. This procedure is then applied to give an internal characterization of joins in the complete lattice of all (L,M )-topologies on a given set.
Variable-Range Approximate Systems Induced by Many-Valued L-Relations
2014
The concept of a many-valued L-relation is introduced and studied. Many-valued L-relations are used to induce variable-range quasi-approximate systems defined on the lines of the paper (A. Sostak, Towards the theory of approximate systems: variable-range categories. Proceedings of ICTA2011, Cambridge Univ. Publ. (2012) 265–284.) Such variable-range (quasi-)approximate systems can be realized as special families of L-fuzzy rough sets indexed by elements of a complete lattice.
Partial *-Algebras of Operators in a PIP-Space
2009
The family of operators on a pip-space V is endowed with two, possibly different, partial multiplications, where partial means that the multiplication is not defined for any pair A,B of elements of Op(V) but only for certain couples. The two multiplications, to be called strong and weak, give rise to two different structures that coincide in certain situations. In this chapter we will discuss first the structure of Op(V) as partial *-algebra in the sense of [AIT02] and then the possibility of representing an abstract partial *-algebra into Op(V).